Derivative inverse cot(x)